((v1 v1 6))
7
()